1 6 M ar 2 00 4 A first approach to membrane computing under inexactitude
نویسندگان
چکیده
In this paper we introduce a fuzzy version of symport/antiport membrane systems. Our fuzzy membrane systems handle possibly inexact copies of reactives and their rules are endowed with threshold functions that determine whether a rule can be applied or not to a given set of objects, depending of the degree of accuracy of these objects to the reactives specified in the rule. We prove that these fuzzy membrane systems generate exactly the recursively enumerable finite-valued fuzzy subsets of N.
منابع مشابه
ar X iv : m at h / 06 03 57 0 v 1 [ m at h . A P ] 2 4 M ar 2 00 6 NONLOCAL FIRST - ORDER HAMILTON - JACOBI EQUATIONS MODELLING DISLOCATIONS DYNAMICS
We study nonlocal first-order equations arising in the theory of dislocations. We prove the existence and uniqueness of the solutions of these equations in the case of positive and negative velocities, under suitable regularity assumptions on the initial data and the velocity. These results are based on new L 1-type estimates on the viscosity solutions of first-order Hamilton-Jacobi Equations a...
متن کاملar X iv : m at h / 06 06 65 4 v 2 [ m at h . A T ] 1 6 O ct 2 00 6 EULER CHARACTERISTICS OF ALGEBRAIC VARIETIES
The aim of this note is to study the behavior of intersection homology Euler characteristic under morphisms of algebraic varieties. The main result is a direct application of the BBDG decomposition theorem. Similar formulae for Hodge-theoretic invariants of algebraic varieties were announced by the first and third authors in [4, 11].
متن کاملA First Approach to Membrane Computing under Inexactitude
In this paper we introduce a fuzzy version of symport/antiport membrane systems. Our fuzzy membrane systems handle possibly inexact copies of reactives and their rules are endowed with threshold functions that determine whether a rule can be applied or not to a given set of objects, depending of the degree of accuracy of these objects to the reactives specified in the rule. We prove that these ...
متن کاملar X iv : h ep - t h / 04 12 28 6 v 2 2 4 D ec 2 00 4 Realizations of observables in Hamiltonian systems with first class constraints
In a Hamiltonian system with first class constraints observables can be defined as elements of a quotient Poisson bracket algebra. In the gauge fixing approach observables form a quotient Dirac bracket algebra. We show that these two algebras are isomorphic. A new realization of the observable algebras through the original Poisson bracket is found.Generators, brackets and pointwise products of ...
متن کاملAn Approach To Membrane Computing Under Inexactitude
In this paper we introduce a fuzzy version of symport/antiport membrane systems. Our fuzzy membrane systems handle possibly inexact copies of reactives and their rules are endowed with threshold functions that determine whether a rule can be applied or not to a given set of objects, depending of the degree of accuracy of these objects to the reactives specified in the rule. We prove that these ...
متن کامل